\begin{verbatim}
> x := CRT([29,129,127],[2*3*5*37,p5,p6]);
> x;
1075217203476555175652504438224037579
> a^x eq c;
true
\end{verbatim}
    
